home *** CD-ROM | disk | FTP | other *** search
- package javax.swing.text.html;
-
- import javax.swing.text.AbstractDocument;
- import javax.swing.text.AttributeSet;
- import javax.swing.text.Element;
- import javax.swing.text.StyleConstants;
-
- public class HTMLDocument$RunElement extends AbstractDocument.LeafElement {
- // $FF: synthetic field
- private final HTMLDocument this$0;
-
- public HTMLDocument$RunElement(HTMLDocument var1, Element var2, AttributeSet var3, int var4, int var5) {
- super(var1, var2, var3, var4, var5);
- this.this$0 = var1;
- }
-
- public String getName() {
- Object var1 = ((AbstractDocument.AbstractElement)this).getAttribute(StyleConstants.NameAttribute);
- return var1 != null ? var1.toString() : super.getName();
- }
-
- public AttributeSet getResolveParent() {
- return null;
- }
- }
-